2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
David H. Pitt
,
David E. Rydeheard
,
Peter Dybjer
,
Andrew M. Pitts
,
Axel Poigne
Категория:
Компьютеры
17.83 Mb
#2
Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Peter Dybjer
,
Sten Lindström
,
Erik Palmgren
,
Göran Sundholm (Editors)
Категория:
Математика
,
Математическая логика
2.56 Mb
#3
Category Theory and Computer Science 1989
David H. Pitt
,
David E. Rydeheard
,
Peter Dybjer
,
Andrew M. Pitts
,
Axel Poigne
Категория:
Cs_Computer science
,
CsLn_Lecture notes
2.82 Mb
#4
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science)
Gilles Barthe
,
Peter Dybjer
,
Luis Pinto
,
Joao Saraiva
7.55 Mb
#5
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Peter Dybjer
,
Bengt Nordström
,
Jan Smith
1.98 Mb
#6
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Thierry Coquand
,
Peter Dybjer
,
Bengt Nordström
,
Jan Smith
1.42 Mb
#7
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
Gilles Barthe
,
Peter Dybjer
,
Luis Pinto
,
Joao Saraiva
3.23 Mb